Theorem Proving System - PDFSEARCH.IO - Document Search Engine

Theorem Proving System
Results: 96

#	Item
81	The CADE-22 ATP System Competition (CASC-22) Geoff Sutcliffe University of Miami, USA Abstract The CADE ATP System Computer (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2009-07-26 04:55:53 Formal methods Vampire E theorem prover CADE ATP System Competition Geoff Sutcliffe CASC Software Theoretical computer science Automated theorem proving
82	Abstract The KE inference system is a tableau method developed by Marco Mondadori which was presented as an improvement, in the computational efficiency sense, over Analytic Tableaux. In the literature, there is no descr Add to Reading List Source URL: www.science-of-medicine.netne.net Language: English - Date: 2013-02-01 20:22:38 Non-classical logic Paraconsistent logic Philosophical logic Method of analytic tableaux Well-formed formula Ordinal number Symbol Curry–Howard correspondence Logic Mathematical logic Automated theorem proving
83	TPS: A Theorem Proving System for Classical Type Theory Peter B. Andrews1, Matthew Bishop2, Sunil Issar3, Dan Nesmith4, Frank Pfenning5, Hongwei Xi6 Abstract Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2003-05-01 16:06:08 Proof theory Logical syntax Logical truth Automated theorem proving Peter B. Andrews Mathematical proof First-order logic Formal proof Proof procedure Logic Mathematics Mathematical logic
84	Matching concepts across HOL libraries ⋆ arXiv:1405.3906v1 [cs.LO] 15 May 2014 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-05-15 21:22:55 Logic in computer science Automated theorem proving HOL Isabelle Proof assistant First-order logic Higher-order logic Function L-system Mathematical logic Mathematics Theoretical computer science
85	AAAI[removed]Spring Symposium Series March 26 – 28, 2001 Stanford University, California Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-15 18:42:06 Emerging technologies Computational neuroscience Knowledge engineering Automated theorem proving Reasoning system Ambient intelligence Applications of artificial intelligence Actor model Intelligence Science Artificial intelligence Knowledge
86	An Introduction to Proof Complexity, Part II. Pavel Pudl´ak Add to Reading List Source URL: www.math.uni-heidelberg.de Language: English - Date: 2009-07-30 07:35:14 Logic in computer science Propositional calculus Mathematical logic Automated theorem proving Computational complexity theory Frege system Proof complexity Propositional proof system Tautology Theoretical computer science Mathematics Logic
87	Twenty Years of Rewriting Logic Jos´e Meseguer Computer Science Department University of Illinois at Urbana-Champaign, IL 61801, USA Abstract Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:45 Formal languages Logic programming Automated theorem proving Propositional calculus Rewriting Unification Substitution Abstract rewriting system Entailment Logic Theoretical computer science Logic in computer science
88	Are there Hard Examples for Frege Systems? Maria Luisa Bonet Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2004-11-24 07:53:45 Propositional calculus Mathematical logic Logic in computer science Frege system Automated theorem proving Computational complexity theory Gottlob Frege Tautology Mathematical proof Mathematics Logic Theoretical computer science
89	Thesis for the degree of Doctor of Philosophy Towards a practical programming Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-08 03:57:01 Computing Functional languages Automated theorem proving Programming paradigms Logic in computer science Agda Dependent type Type system Coq Software engineering Programming language theory Type theory
90	Algebraic Properties of Rules of Frege-Hilbert Calculi Elmar Eder Add to Reading List Source URL: www.cosy.sbg.ac.at Language: English - Date: 2005-08-09 12:26:52 Proof theory Automated theorem proving Propositional calculus Logic in computer science Hilbert system Proof calculus Combinatory logic Well-formed formula Deduction theorem Logic Mathematical logic Mathematics

UPDATE